$\forall$${\it es}$:ES, ${\it ff}$:FIFO, ${\it f2f+}$:F2F+{-}decls. owes\_ack  $\in$ Id$\rightarrow$Id$\rightarrow$Id